Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Cactus Language โ€ข Semantics 3
inquiryintoinquiry.comยท3h
๐Ÿ”ขDenotational Semantics
Neuro-Symbolic AI
en.wikipedia.orgยท4hยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.orgยท15h
๐Ÿ“‹Document Grammar
Categorical systems theory
topos.instituteยท7h
๐Ÿ”€Category Theory
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
From Documents to Dialogue: A step-by-step RAG Journey
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Show HN: Realization Jsmn on a Pure Zig
github.comยท9hยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Getting a Hypergraph of Functions to a Browser
systeminit.comยท1dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Slip โ€“ A Lisp System in JavaScript
lisperator.netยท5hยท
Discuss: Hacker News
๐Ÿ”—Lisp
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.comยท1dยท
๐ŸงฎAlgebraic Datatypes
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.orgยท15h
๐Ÿ’ปProgramming languages
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blogยท17hยท
โœ…Format Verification
IASC: Interactive Agentic System for ConLangs
arxiv.orgยท15h
๐ŸŒณContext free grammars
LINQ and Learning to Be Declarative
nickstambaugh.devยท1dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Prompt Engineering Templates That Work: 7 Copy-Paste Recipes for LLMs
kdnuggets.comยท1d
๐ŸŽฏProof Tactics
Erlang-Red Walkthrough โ€“ Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.comยท5hยท
Discuss: Hacker News
๐ŸŒProtocol Synthesis
GaloisInc/parameterized-utils
github.comยท2d
๐ŸงฎAlgebraic Datatypes